💻 programming languages - matmat · Scour

What every computer science major should know

matt.might.net·1h·

Discuss: Hacker News

🔩Systems Programming

extended C*-algebra in nLab

ncatlab.org·5h

🧮Algebraic Archives

Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11

github.com·7h·

Discuss: Hacker News

🦀Rust Macros

`derive_parser` – Automatically derive a parser from your syntax tree

github.com·15h·

Discuss: r/rust

🔗Parser Combinators

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

Speak Now: Safe Actor Programming with Multiparty Session Types

arxiv.org·20h

🔄Session Type Inference

Generic methods arrive in Golang, but they weren't the top dev demand

theregister.com·8h

⬆️Lambda Lifting

Outline-oriented codebase for a coding agent

blog.fooqux.com·7h·

Discuss: Hacker News

🌳Incremental Parsing

Gram 1.0 released

lwn.net·10h

🌀Brotli Internals

Format Overview

toonformat.dev·9h

✅Format Verification

Dino in the Machine: Surviving the Transformer Latency Trap in C++

hackernoon.com·17h

🏗️Compiler Archaeology

blog dds: 2026-03-02 — Vibe coding toward the incident horizon

spinellis.gr·8h·

Discuss: Hacker News

🧪Binary Fuzzing

PEP 827 – Type Manipulation

peps.python.org·4d·

Discuss: Hacker News

🎯Gradual Typing

Let’s stop copying C

eev.ee·3d

🔗Concatenative Programming

underlap.org·1d

🔩Systems Programming

Invariant-Driven Automated Testing

arxiv.org·20h

🔍Concolic Testing

A language designed for machines to write

negroniventurestudios.com·1d·

Discuss: Hacker News

💻Programming languages

F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist

sergeytihon.com·1d

💧Liquid Types

Emacs Carnival Feb 2026 wrap-up: Completion

sachachua.com·1d

✨Effect Handlers

Zevi's AI Development Workflow

shorthaired-billboard-f9a.notion.site·1d

⚡Proof Automation

Loading more...